Addition Is Exponentially Harder Than Counting For Shallow Monotone Circuits